- hindley-milner類型推論
- 類型推斷
- 類型推論
- type: n. 1.型,類型,(工業(yè)產(chǎn)品的)品種;風(fēng)格,型式。 2 ...
- inference: n. 1.推理,推論;推斷,結(jié)論,論斷;含蓄,含意。 2 ...
- by inference: 根據(jù)推理, 推論
- inference: n. 1.推理,推論;推斷,結(jié)論,論斷;含蓄,含意。 2.推斷的結(jié)果;(邏輯上的)結(jié)論。 speak from inference 推測說。 draw [make] an inference from ... 根據(jù)…下結(jié)論。 the deductive [inductive] inference 演繹[歸納]推理。
- abductive inference: 外展推理
下載手機詞典可隨時隨地查詞查翻譯